non-wellfounded proof